TipoTítulo Autor EdiciónDisponibilidadValoración
coverllll
Tesis
Contribuciones a la verificación funcional moderna Goñi, Oscar (2015)
----------
Sin Portada
Artículo
Design aspects for describing frameworks : Balaguer, Federico (2001)
----------
Sin Portada
Artículo
Model checking the behavior of frameworks extended with other frameworks : Balaguer, Federico (2005)
----------